141. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
9
.
A4
1975
142. Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
پدیدآورنده : edited by J.N.Crossley
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
143. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
144. Algebra, mathematical logic, number theory, topology
پدیدآورنده : editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
v
.
168
145. Algebra, mathematical logic, number theory, topology
پدیدآورنده : editorial board of the anniversary collection, I. M. Vinogradov, editor in chief ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
P736
Vol
.
168
146. Algebra, mathematical logic, number theory, topology, Algebra, matematicheskaia logika, teoriia chisel, topologiia
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
1986
issue
3
,
etc
147. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
148. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
149. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
150. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
151. Algebraic methods of mathematical logic
پدیدآورنده : Rieger, Ladislav
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
152. Algebraic methods of mathematical logic
پدیدآورنده : RIEGER,LADISLAV
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN
رده :
QA
9
.
R6413
153. Algebraic perspectives on substructural logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
154. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
155. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
156. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
157. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
158. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده : ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274
159. Algorithmic logic /
پدیدآورنده : G. Mirkowska and A. Salwicki
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
160. <An> Introduction to Geodel's Theorems
پدیدآورنده : Peter Smith
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Logic, Symbolic and mathematical,Geodel numbers,Geodel, Kurt
رده :
511
.
3
S642I
